An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
نویسندگان
چکیده
Measuring inconsistency in knowledgebases has been recognized as an important problem in many research areas. Most of approaches proposed to measure inconsistency are based on paraconsistent semantics. However, very few of them provide efficient algorithms for implementation. In this paper, we first give the four-valued semantics for first-order logic and then propose an approach for measuring the degree of inconsistency based on the four-valued semantics. After that, we propose an algorithm to compute the inconsistency degree by introducing a new semantics of first order theory, which is called S[n]-4 semantics.
منابع مشابه
An Anytime Algorithm for Computing Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of propositional knowledg...
متن کاملComputing inconsistency measure based on paraconsistent semantics
Measuring inconsistency in knowledge bases has been recognized as an important problem in several research areas. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. However, existing methods suffer from two limitations: 1) They are mostly restricted to propositional knowledge bases; 2) Very few of them discuss comput...
متن کاملComputational Complexity and Anytime Algorithm for Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of propositional knowledg...
متن کاملHandling Inconsistency in Knowledge Bases
Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such systems because classical logic is explosive. Recently, progress has been made towards semantics that deal with logical inconsistency. However, such semantics was never analyzed in the aspect of inconsistency tolerant relational mod...
متن کاملMeasuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In this paper, we present an approach for measuring inconsistency in a knowledge base. We first define the degree of inconsistency using a four-valued semantics for the description logicALC. Then an ordering over knowledge bases is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.
متن کامل